1. <A> Framework for Priority Arguments
Author: / Manuel Lerman
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Proof theory,Priority (Philosophy),Logic, Symbolic and mathematical,منطق ریاضی
Classification :
QA9
,.
54
.
F7
,
L47
2010
2. A framework for priority arguments
Author: Lerman, Manuel, 3491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Proof theory,، Priority )Philosophy(,، Logic, Symbolic and mathematical
Classification :
QA
9
.
A1L44
Vol
.
34
3. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
Classification :
E-BOOK
4. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
Classification :
E-BOOK
5. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Curry-Howard isomorphism.,Proof theory.,Logic, Symbolic and mathematical.,Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)
Classification :
QA
,
9
.
54
,.
P64
,
2005
6. An introduction to the language of mathematics /
Author: Frédéric Mynard.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Proof theory.,Mathematical logic.,Mathematics-- Logic.,Proof theory.
Classification :
QA9
.
54
7. Automated proof search in non-classical logics : efficient matrix proof methods for model and intuitionistic logics
Author: Wallen, Lincoln A.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Proof theory,، Modality )Logic(,، Intuitionistic mathematics
Classification :
QA
9
.
54
.
W35
1990
8. Combinators, -terms and proof theory
Author:
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Proof theory,Combinatory logic
Classification :
QA9
.
S753
9. Combinators, -terms and proof theory
Author:
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Proof theory,Combinatory logic
Classification :
QA9
.
S753
10. Combinators, -terms and proof theory
Author:
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Proof theory,Combinatory logic
Classification :
QA9
.
S753
11. Computational aspects of linear logic /
Author: Patrick Lincoln.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical-- Data processing.,Proof theory.,Logic, Symbolic and mathematical-- Data processing.,Proof theory.
Classification :
QA9
.
L565
1995
12. Conditional and preferential logics
Author: Gian Luca Pozzato
Library: Library of Urmia University of Technology (West Azarbaijan)
Subject: Logic, Symbolic and mathematical,Proof theory
Classification :
QA
,
9
,.
P65
,
2010
13. Conditional and preferential logics
Author: / Gian Luca Pozzato
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic, Symbolic and mathematical.,Proof theory.
Classification :
QA9
,.
P65
,
2010
14. Conditional and preferential logics
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical. ; Proof theory. ;
15. Extending the fronters of mathematics:inquiries into ....
Author: / By Edward B.Burger
Library: Central Library and Document Center of Arak University (Markazi)
Subject: Proof theory,Mathematical analysis,Logic symbolic & mathematical
Classification :
511
.
36
B954e
16. Gentzen-style aximatizations for basic logic
Author: by: Mojtaba Aghaei Foroushani,^AAghaei Foroushani, Mojtaba
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Logic, Symbolic and mathematical,Proof theory
17. Handbook of mathematical induction: theory and applications
Author: / David S. Gunderson
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Proof theory,Induction (Mathematics),Logic, Symbolic and mathematical,Probabilities
Classification :
511
.
36
G975H
2011
18. How to read and do proofs :
Author: Daniel Solow (Department of Operations, Weatherhead School of Management, Case Western Reserve University, Cleveland, OH 44106, e-mail daniel.solow@case.edu, web http://weatherhead.cwru.edu/solow)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical, Textbooks,Proof theory, Textbooks
Classification :
QA9
.
54
.
S65
2014
19. How to read and do proofs: an introduction to mathematical thought processes
Author: Solow, Daniel
Library: Central Library and Documentation Center (Kerman)
Subject: ، Proof theory,، Logic, Symbolic and mathematical
Classification :
QA
9
.
54
.
S65
2010
20. How to read and do proofs: an introduction to mathematical thought processes
Author: Solow, Daniel
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Textbooks ، Proof theory,Textbooks ، Logic, Symbolic and mathematical
Classification :
QA
9
.
54
.
S65
2005
